Designing Help for Viewpoint Centered Planning of Petri Nets
نویسندگان
چکیده
PETRI-HELP supports novices in learning to model with conditionevent Petri nets. It is based on a theoretical framework recommending that a help system should offer help, let the learner use pre-knowledge, and support different problem solving levels. In PETRI-HELP the learner creates Petri nets for given tasks, test hypotheses about the solutions or fragments of them, and receive feedback, completions, and correction proposals. This help refers to Petri net places, transitions, and links. It does not yet support planning, i.e., creating an abstract solution idea and postponing implementation decisions, as recommended by the theory and by our empirical work. This paper describes an approach to support planning within PETRI-HELP. It is based on transformation rules (Olderog, 1991) for the systematical derivation of a Petri net from a specification composed of viewpoints of different agents. Applying this approach to PETRI-HELP will enable the learner to propose solution ideas, test hypotheses, and get help on an abstract "goal level".
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کامل